29. Abstract state machines
پدیدآورنده : Egon Borger, Robert Stork
کتابخانه: كتابخانه دانشگاه صنعتي اروميه (أذربایجان الغربیة)
موضوع : System design,Computer software- Development,Embedded computer systems
رده :
QA
,
76
.
9
,.
S88B66
,
2003
30. Abstract state machines: a method for high-level system design and analysis
پدیدآورنده : Borger, E.)Egon(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، System design,، Computer software-- Development,، Embedded computer systems
رده :
QA
76
.
9
.
S88
.
B66
2003
31. Abstract state machines :a method for high-level system design and analysis. ]CD[
پدیدآورنده : Bغorger, E. )Egon(, Egon Bغorger, Robert Stغark
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، System design,Development ، Computer software,، Embedded computer systems
رده :
QA76
.
9
.
S88
B66
2003
32. Achieving Safety and Reliability with Computer Systems
پدیدآورنده : edited by B.K. Daniels.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Engineering.,Software engineering.,Statistics.
رده :
QA76
.
76
.
R44
E358
1987
33. Advances in computer science and information technology :
پدیدآورنده : edited by Natarajan Meghanathan, Nabendu Chaki, Dhinaharan Nagamalai.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science -- Congresses.,Computer science.,Information technology -- Congresses.
34. Advances in human factors, ergonomics, and safety in manufacturing and service industries
پدیدآورنده : editors, Waldemar Karwowski, Gavriel Salvendy.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Ergonomía.,Seguridad en el trabajo.
رده :
TA166
.
E358
2011
36. Analysis, Architectures and Modelling of Embedded Systems :
پدیدآورنده : edited by Achim Rettberg, Mauro C. Zanella, Michael Amann, Michael Keckeisen, Franz J. Rammig.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer network architectures.,Computer science.,Computer-aided design.
37. Applied reconfigurable computing : architectures, tools, and applications :
پدیدآورنده : edited by Nikolaos Voros, Michael Huebner, Georgios Keramidas, Diana Goehringer, Christos Antonopoulos, Pedro C. Diniz.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Adaptive computing systems, Congresses.,Computer architecture, Congresses.,Adaptive computing systems.,Artificial intelligence.,Computer architecture.,Computer hardware.,Computer networking & communications.,Computers-- Computer Graphics.,Computers-- Hardware-- General.,Computers-- Intelligence (AI) & Semantics.,Computers-- Software Development & Engineering-- General.,Image processing.,Software Engineering.
رده :
QA76
.
9
.
A3
38. Architecture Exploration for Embedded Processors with LISA
پدیدآورنده : by Andreas Hoffmann, Heinrich Meyr, Rainer Leupers.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer engineering.,Computer hardware.,Computer-aided design.,Engineering.,Software engineering.,Systems engineering.
40. Bluetooth application developer's guide :
پدیدآورنده : David Kammer, Gordon McNutt, Brian Senese ; technical editor, Jennifer Bray.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Bluetooth technology.,Computer network protocols.,tecnología bluetooth.
رده :
TK5103
.
3
D385
2007
